On lifting diagrams up to homotopy in Frobenius categories
نویسنده
چکیده
Suppose given a Frobenius category E , i.e. an exact category with a big enough subcategory B of bijectives. Let E := E/B denote its classical homotopy category. For example, we may take E to be the category of complexes C(A) with entries in an additive category A, in which case E is the homotopy category of complexes K(A). Suppose given a finite poset D that satisfies the combinatorial condition of being ind-flat. Then, given a diagram of shape D with values in E (i.e. commutative up to homotopy), there exists a diagram consisting of pure monomorphisms with values in E (i.e. commutative) that is isomorphic, as a diagram with values in E , to the given diagram.
منابع مشابه
On lifting stable diagrams in Frobenius categories
Suppose given a Frobenius category E , i.e. an exact category with a big enough subcategory B of bijectives. Let E := E/B denote its classical stable category. For example, we may take E to be the category of complexes C(A) with entries in an additive category A, in which case E is the homotopy category of complexes K(A). Suppose given a finite poset D that satisfies the combinatorial condition...
متن کاملJu n 20 06 COMPARING HOMOTOPY CATEGORIES
Given a suitable functor T : C → D between model categories, we define a long exact sequence relating the homotopy groups of any X ∈ C with those of TX , and use this to describe an obstruction theory for lifting an object G ∈ D to C. Examples include finding spaces with given homology or homotopy groups.
متن کاملHomotopy Theories of Diagrams
Suppose that S is a space. There is an injective and a projective model structure for the resulting category of spaces with S-action, and both are easily derived. These model structures are special cases of model structures for presheaf-valued diagrams X defined on a fixed presheaf of categories E which is enriched in simplicial sets. Varying the parameter category object E (or parameter space ...
متن کاملHomotopy Coherent Structures
Naturally occurring diagrams in algebraic topology are commutative up to homotopy, but not on the nose. It was quickly realized that very little can be done with this information. Homotopy coherent category theory arose out of a desire to catalog the higher homotopical information required to restore constructibility (or more precisely, functoriality) in such “up to homotopy” settings. The firs...
متن کاملHopfological algebra and categorification at a root of unity: the first steps
Any finite-dimensional Hopf algebra H is Frobenius and the stable category of H-modules is triangulated monoidal. To H-comodule algebras we assign triangulated module-categories over the stable category of H-modules. These module-categories are generalizations of homotopy and derived categories of modules over a differential graded algebra. We expect that, for suitable H, our construction could...
متن کامل